#include"RecDown.cpp"


int main()
{
    FILE* f = fopen("output.txt", "w");

    printTree(getG0(), f);

    fprintf(f, "pop\nQuit\n");
    fclose(f);
    return 0;
}
